6 Infinite Primitive Directed Graphs

A group G of permutations of a set Ω is primitive if it acts transitively on Ω, and the only G-invariant equivalence relations on Ω are the trivial and universal relations. A graph Γ is primitive if its automorphism group acts primitively on its vertex set. A graph Γ has connectivity one if it is connected and there exists a vertex α of Γ, such that the induced graph Γ \ {α} is not connected. If Γ has connectivity one, a block of Γ is a connected subgraph that is maximal subject to the condition that it does not have connectivity one. The primitive undirected graphs with connectivity one have been fully classified by Jung and Watkins: the blocks of such graphs are primitive, pairwise-isomorphic and have at least three vertices. When one considers the general case of a directed primitive graph with connectivity one, however, this result no longer holds. In this paper we investigate the structure of these directed graphs, and obtain a complete characterisation.